A Formal Theory of Conceptual Modeling Universals
نویسندگان
چکیده
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of conceptual models and to develop guidelines for how the constructs of a modeling language (UML) should be used in conceptual modeling. In this paper, we focus on the modeling metaconcepts of classifiers and objects from an ontological point of view. We use a philosophically and psychologically well-founded theory of universals to propose a UML profile for Ontology Representation and Conceptual Modeling. The formal semantics of the proposed modeling elements is presented in a language of modal logics with quantification restricted to
منابع مشابه
On the Entanglement of Universals-Theory and Christian Faith in the Modern Theological Discourse of Karl Barth
The philosophical investigations into universals was entangled with the combination of a certain Christian faith and Ontology, especially in ancient and medieval times. That is, God’s creative activity provided us with the ontological presumption which enabled universals to be predicated, be perceived and be thought about. Times then have changed, and “the modern turn” in Philosophy tends to re...
متن کاملAn Argument against Armstrong’s Analysis of the Resemblance of Universals
David Armstrong believes in universals. Once universals are accepted, it must also be accepted that they resemble one another to various degrees. Colors, for instance, fall into a complicated multidimensional resemblanceorder. Armstrong claims that all universals are complex universals, and that they resemble one another insofar as they have common universal constituents. Armstrong’s reductive ...
متن کاملConceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations
The importance of relations for conceptual modelling motivates an evaluation of Conceptual Graphs (CG) in this respect. This analysis is presented on the formal ontological basis provided by the General Formal Ontology (GFO). On the basis of a simple example domain, modelling problems are identified and analyzed in connection with more sophisticated relational concepts like roles, relators, and...
متن کاملAdjoints and emergence: applications of a new theory of adjoint functors
Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of...
متن کاملComputational Machines in a Coexistence with Concrete Universals and Data Streams
We discuss that how the majority of traditional modeling approaches are following the idealism point of view in scientific modeling, which follow the set theoretical notions of models based on abstract universals. We show that while successful in many classical modeling domains, there are fundamental limits to the application of set theoretical models in dealing with complex systems with many p...
متن کامل